Move successful message "Compilation finished" to the end.

diff --git a/etc/compilation.txt b/etc/compilation.txt
index 08c55c648e72e99c5800bf984ab43a0d9bd46bdb..e06175f9bf80c152a442bf83649e106efdd5638d 100644 (file)
--- a/etc/compilation.txt
+++ b/etc/compilation.txt
@@ -434,8 +434,8 @@ Compilation interrupt at Wed Jul 20 12:20:10
 Compilation killed at Wed Jul 20 12:20:10
 Compilation terminated at Wed Jul 20 12:20:10
 Compilation exited abnormally with code 1 at Wed Jul 20 12:21:12
-Compilation finished at Thu Jul 21 15:02:15
 Compilation segmentation fault at Thu Jul 13 10:55:49
+Compilation finished at Thu Jul 21 15:02:15
 
 \f
 Copyright (C) 2004, 2005, 2006, 2007, 2008